A General Glivenko–Gödel Theorem for Nuclei

نویسندگان

چکیده

Glivenko's theorem says that, in propositional logic, classical provability of a formula entails intuitionistic double negation that formula. We generalise from to an arbitrary nucleus, calculus inductively generated abstract consequence relation, and logic any set objects whatsoever. The resulting conservation comes with precise criteria for its validity, which allow us instantly include G\"odel's counterpart first-order predicate theorem. open nucleus gives form the deduction positive closed prompts variant reduction minimal going back Johansson.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A More General Version of the Costa Theorem

In accordance with the Costa theorem, the interference which is independent of the channel input and known non-causally at the transmitter, does not affect the capacity of the Gaussian channel. In some applications, the known interference depends on the input and hence has some information. In this paper, we study the channel with input dependent interference and prove a capacity theorem that n...

متن کامل

A general ballot theorem

We prove an analogue of the classical ballot theorem that holds for any random walk in the range of attraction of the normal distribution. Our result is best possible: we exhibit examples demonstrating that if any of our hypotheses are removed, our conclusions may no longer hold.

متن کامل

A Representation Theorem for General Revealed Preference

Following Richter (1966), we provide criteria under which a preference relation implied by a finite set of choice observations has a complete extension that can in turn be represented by a utility function. These criteria rely on a mapping over preference relations, the rational closure, which is a generalization of the transitive closure and is employed to construct the complete extension. We ...

متن کامل

A General Stone Representation Theorem

This note contains a Stone-style representation theorem for compact Haus-dorff spaces. The note is very much inspired by some existing representation theorems and is expository in nature. The first representation theorem is by Jung and Sünderhauf in [JS] and there is also a version of it for compact Hausdorff spaces noted by D. Moshier [Mo], the ideas of which were described to us by A. Jung. T...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Electronic proceedings in theoretical computer science

سال: 2021

ISSN: ['2075-2180']

DOI: https://doi.org/10.4204/eptcs.351.4